机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:自然语言需求模型的形式规范推导策略
机译:将软件需求从自然语言转换为正式规范
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:HPARSER:使用自然语言处理软件从自由文本历史记录和身体报告中提取正式的患者数据。
机译:将自然语言软件需求规范自动转换为正式表示
机译:从自然语言要求中导出形式规范的先决条件